divisible group造句

Injective modules include divisible groups and are generalized by the notion of injective objects in category theory.
Thus divisible groups are injective modules in the category of abelian groups, and conversely, every injective abelian group is divisible ( Baer's criterion ).
There are also several explicit reciprocity laws for various generalizations of the Hilbert symbol to higher local fields, " p "-divisible groups, and so on.
To go from that implication to the fact that " q " is a monomorphism, assume that for some morphisms, where " G " is some divisible group.
This difference gives formal groups a rich geometric theory in positive and mixed characteristic, with connections to the Steenrod algebra, " p "-divisible groups, Dieudonn?theory, and Galois representations.
It's difficult to find divisible group in a sentence. 用divisible group造句挺难的

The factor group \ Q / A by a proper subgroup A is a divisible group, hence certainly not finitely generated, hence has a proper non-trivial subgroup, which gives rise to a subgroup and ideal containing A.
Finally if G is a divisible group and R is a real closed field, then R ( ( G ) ) is a real closed field, and if R is algebraically closed, then so is R ( ( G ) ).
A third equivalent condition is that an abelian group G is divisible if and only if G is an injective object in the category of abelian groups; for this reason, a divisible group is sometimes called an "'injective group " '.
Oda's 1967 thesis gave a connection between Dieudonn?modules and the first de Rham cohomology of abelian varieties, and at about the same time, Grothendieck suggested that there should be a crystalline version of the theory that could be used to analyze " p "-divisible groups.
Divisible groups, i . e . abelian groups " A " in which the equation admits a solution for any natural number " n " and element " a " of " A ", constitute one important class of infinite abelian groups that can be completely characterized.
Moreover, we do not need ultrapowers to construct " ? ", we can do so much more constructively as the subfield of series with a countable number of nonzero terms of the field \ Bbb { R } ( ( G ) ) of formal power series on a totally ordered abelian divisible group " G " that is an " ? " 1 group of cardinality \ aleph _ 1.